大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 António Manuel 的图书(共488本)

Large-Scale Knowledge Resources. Construction and Application [electronic resource] : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

0
索取号:
作者:Tokunaga、 Takenobu.、Ortega、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers

0
索取号:
作者:Kolp、 Manuel.、Henderson-Sellers、 Brian.、Mouratidis、 Haralambos.、Garcia、 Alessandro.、Ghose、 Aditya K.、Bresciani、 Paolo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Soil Mineral Microbe-Organic Interactions [electronic resource] : Theories and Applications

0
索取号:
作者:Huang、 Qiaoyun.、Huang、 Pan Ming.、Violante、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Piezoelectric Transducers and Applications [electronic resource]

0
索取号:
作者:Vives、 Antonio Arnau.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Progress in Artificial Intelligence [electronic resource] : 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimar茫es, Portugal, December 3-7, 2007. Proceedings

0
索取号:
作者:Neves、 Jos茅.、Santos、 Manuel Filipe.、Machado、 Jos茅 Manuel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Current Topics in Artificial Intelligence [electronic resource] : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers

0
索取号:
作者:Borrajo、 Daniel.、Castillo、 Luis.、Corchado、 Juan Manuel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Vehicle Propulsion Systems [electronic resource] : Introduction to Modeling and Optimization

0
索取号:
作者:Guzzella、 Lino.、Sciarretta、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Smart Graphics [electronic resource] : 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings

0
索取号:
作者:Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、Owada、 Shigeru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号:
作者:Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational and Ambient Intelligence [electronic resource] : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebasti谩n, Spain, June 20-22, 2007. Proceedings

0
索取号:
作者:Sandoval、 Francisco.、Prieto、 Alberto.、Cabestany、 Joan.、Gra帽a、 Manuel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments [electronic resource]

0
索取号:
作者:Galindo、 Cipriano.、Fern谩ndez-Madrigal、 Juan-Antonio.、Gonz谩ez、 Javier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The IVth International Conference on Quarks and Nuclear Physics [electronic resource] : QNP 2006 June 5鈥ᰬ 2006 Madrid, Spain

0
索取号:
作者:Dobado Gonzalez、 Antonio.、Llanes-Estrada、 Felipe J.、Vento、 Vicente.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Biopacemaking [electronic resource]

0
索取号:
作者:Spaan、 J. A. E.、Coronel、 Ruben.、Bakker、 Jacques M. T.、Zaza、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号:
作者:Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

0
索取号:
作者:Bemporad、 Alberto.、Bicchi、 Antonio.、Buttazzo、 Giorgio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Telerobotics [electronic resource]

0
索取号:
作者:Ferre、 Manuel.、Buss、 Martin.、Aracil、 Rafael.、Melchiorri、 Claudio.、Balaguer、 Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类